1221. Theoretical aspects of object-oriented programming : types, semantics, and language design
پدیدآورنده : edited by Carl A. Gunter and John C. Mitchell
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Object-oriented programming )Computer science(,، Programming languages )Electronic computers(
رده :
QA
76
.
64
.
T4
1222. Theory and Problems of computer and Programming
پدیدآورنده : / Francis Scheid
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Programming (Electronic computer),Electronic computers
رده :
QA76
.
S3
1983
1223. Theory of program structures
پدیدآورنده : / By Sheila Greibach,Greibach
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Electronic digital computers -- Programming,Recursive programming,Computer programs
رده :
QA
76
.
6
.
G743
1975
1224. Theory of program structures:Schemes, Semantics, Verification
پدیدآورنده : Greinach, Sheila
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming ، Electronic digital computers,Recurlive programming,، Computer programs
رده :
QA
76
.
6
.
G743
1975
1225. Theory of program structures : schemes, semantics, verification
پدیدآورنده : Greibach, Sheila
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Electronic digital computers -- Programming,، Recursive programming,، Computer programs
رده :
QA
76
.
6
.
G743
1975
1226. Theory of program structures : schemes, semantics, verification
پدیدآورنده : Greibach, Sheila
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Programming,، Recursive programming,، Computer programs
رده :
QA
76
.
6
.
G743
1975
1227. Thinking in LINQ :
پدیدآورنده : Sudipta Mukherjee
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Programming languages (Electronic computers),Query languages (Computer science)
رده :
QA76
.
7
1228. Threaded interpretive languages: their desing and implementation
پدیدآورنده : Loeliger, R. G
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Programming languages )Electronic computers(,، Interpreters )Computer programs(
رده :
QA
76
.
7
.
L63
1229. Time-shared computer languages: an introduction to conversational computing
پدیدآورنده : Schur, Lee David
موضوع : ، Programming languages )Electronic computers(,، Time-sharing computer systems
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
1230. Towards a formal description of Ada
پدیدآورنده : edited by D. Bjorner and O.N. Oest
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Ada )Computer program language(,، Programming languages )Electronic computers( - Semantics
رده :
QA
76
.
L4
v
.
98
1231. Towards a formal description of Ada
پدیدآورنده : edited by D. Bjørner and O.N. Oest.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Ada (Computer program language),ADA.,Programming languages (Electronic computers) -- Semantics.
رده :
QA76
.
73
.
A35
E358
1980
1232. Trees in Algebra and Programming - CAAP '96 :
پدیدآورنده : edited by Hélène Kirchner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programming.,Computer science.,Programming languages (Electronic computers)
رده :
QA166
.
2
E358
1996
1233. Turbo C++ suite.
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Application software.,Compilers (Computer programs),Programming languages (Electronic computers)
رده :
QA76
.
73
.
C153
T873
1998
1234. Turbo Pascal
پدیدآورنده :
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Object-oriented programming )Computer science(- Software,، Compilers )Computer programs(- Software,، Programming languages )Electronic computers(- Software
رده :
QA
76
.
73
.
P2
1235. Turbo Pascal : Library reference
پدیدآورنده :
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Turbo Pascal )computer file(,، Programming languages )Electronic computers( -- Software
رده :
QA
76
.
73
.
P2T86
1236. Turbo pascal: Advanced programmer's Guide
پدیدآورنده : O'Brien, Stephen K.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : ، Pascal )Computer program languages(,، Programming languages )Electronic computers(
رده :
QA
76
.
73
.
P3O2
1237. Tutorial on advanced microprocessors and high-level language computer architecture
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Microprocessors,، Computer architecture,، Programming languages )Electronic computers(
رده :
QA
76
.
5
.
T87
1986
1238. Tutorial on software design techniques: October 12, 1976, San Francisco, California
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Programming,، Computer programs
رده :
QA
76
.
6
.
T88
1239. Two scoops of Django :
پدیدآورنده : Daniel Greenfeld, Audrey Roy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Django (Electronic resource),Computer programming.,Programming languages (Electronic computers),Python (Computer program language),Web site development.
1240. Two scoops of Django :
پدیدآورنده : Daniel Roy Greenfeld, Audrey Roy Greenfeld.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Django (Electronic resource),Computer programming.,Programming languages (Electronic computers),Python (Computer program language),Web site development.
